logic representation

Terms from Artificial Intelligence: humans at the heart of algorithms

Logic can be used as a form of knowledge representation. The facts in the domain have to expressed as atomic propositions such as author("Alan Dix", "Artificial Intelligence") and reasoning rules as logical formulae.

Used in Chap. 2: pages 14, 16

Also known as by logic, as knowledge representation